cmseq{-}to($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$case $x$ of config(${\it list}$) =$>$ $\cdot$ seq(${\it from}$,${\it to}$,${\it num}$) =$>$ ${\it to}$